First facets of the octahedron

The Octahedron Abstract Domain

An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis. The contribution of this paper is a new numerical...

efl students gender and socioeconomic status: the use of politeness strategies in the first and second languages

within the components of communicative competence, a special emphasis is put on the “rules of politeness,” specifically the politeness strategies (brown and levinson, 1978) that speakers deploy when performing the request speech act. this is because the degree of imposition that making a request places upon one’s interlocutor(s) has been seen to be influenced by several factors among which, as ...

The fine structure of octahedron-free graphs

This paper is one of a series of papers in which, for a family L of graphs, we describe the typical structure of graphs not containing any L ∈ L. In this paper, we prove sharp results about the case L = {O6}, where O6 is the graph with 6 vertices and 12 edges, given by the edges of an octahedron. Among others, we prove the following results. (a) The vertex set of almost every O6-free graph can ...

Arrays and the Octahedron Recurrence

The 4-Octahedron Abstract Domain

In the code static analysis, the choice of an adequate abstract domain is an interesting issue. In this paper, we provide a new numerical abstract domain: 4-Octahedron. It is an Octahedra subclass that infers relations of the form : { x ∼ α, x−y ∼ β, (x−y)−(z−t) ∼ λ}, such that: x, y, z and t are real variables, α, β and λ are real constants and ∼ ∈ {≤,≥}. The 4-Octahedron extends the conjuncti...